



type error =
    Unsupported_multdiv
  | Variables_addsub
  | Array_index
  | Undefined_type of string
  | Undefined_var of string
  | Undefined_fun of string
  | Undefined_field of string
  | Not_an_array
  | Not_a_record
  | Designator_usage
   
exception Error of error 

val prune_prog : Ast.loc Ast.prog -> Ast.type_expr Ast.prog
